Counter automaton